Unifying Modelling and Programming through an Active, Object-Oriented, Model-Equivalent Programming Language

The intricate and complex structure of existing advanced database applications results in part from poor integration of existing models and languages. This complexity is a barrier to effectively understanding and developing advanced applications. We can significantly reduce the complexity of advanced-application specification and implementation by using a model-equivalent language (a language with a one-to-one correspondence to an underlying, executable model as defined herein). In this paper we explain the difficulties encountered in making models and languages equivalent, and we resolve these difficulties for a particular language and model.